An E cient Pixel - Based Technique for Visual Veri cation of 3 - D ObjectHypotheses

نویسندگان

  • Michael Boshra
  • Hong Zhang
چکیده

{ We present a pixel-based technique for visual veriication of 3-D object hypotheses. The technique proceeds in three steps: Firstly, the visible-edge image of the hypothesized model object is constructed. Secondly, this image is superimposed on the scene edge image. Finally, corresponding pix-els in the two images are compared to gather votes for the validity of the hypothesis. Uncertainty in estimating the locations of both scene and model edge pixels is handled by dilating the scene edge image. An analytical method is presented for determining the extent of dilation, assuming some error bound on the object pose. The proposed technique has several important advantages over the common feature-based techniques. Firstly, it is much simpler to implement. Secondly, the time complexity of verifying a hypothesis is made independent of the scene complexity (number and types of scene features). Thirdly, it is insensitive to imperfections of the feature extraction process. Finally, the technique is easy to implement on the existing parallel vision/graphics hardware; thus it is suitable for real-time applications.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards a Verification Technique for Large Synchronous Circuits

We present a symbolic simulation based veri cation approach which can be applied to large synchronous circuits A new technique to encode the state and input constraints as parametric Boolean expressions over the state and input variables is used to make our symbolic simulation based veri cation approach e cient The constraints which are encoded through parametric Boolean expressions can involve...

متن کامل

Transformations on Dependency Graphs :

Dependency graphs are used to model data and control ow in hardware and software design. In a transformational design approach, optimization and re nement transformations are used to transform dependency-graph-based speci cations at higher abstraction levels to those at lower abstraction levels. In this dissertation, we investigate the formal speci cation and mechanical veri cation of transform...

متن کامل

Extending the reach and power of deductive program verification

SoŸware is vital for modern society. e e›cient development of correct and reliable soŸware is of ever-growing importance. An important technique to achieve this goal is deductive program verication: the construction of logical proofs that programs are correct. In this thesis, we address three important challenges for deductive verication on its way to a wider deployment in the industry: 1. ve...

متن کامل

New Constructions of Mechanisms with Veri cation

A social choice function A is implementable with veri cation if there exists a payment scheme P such that (A,P ) is a truthful mechanism for veri able agents [Nisan and Ronen STOC 99]. In this paper we address the following questions. Given an objective function μ, does there exist a social choice function that is implementable with veri cation and that minimizes (or maximizes) μ? From a more a...

متن کامل

Formal Veri cation of a PowerPC Microprocessor

This paper presents the use of formal methods in the design of a PowerPC microprocessor. The chosen methodology employs two independently developed design views, a register-transfer level speci cation for e cient system simulation and a transistorlevel implementation geared toward maximal processor performance. A BDD-based veri cation tool is used to functionally compare the two views which ess...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996